Optimal. Leaf size=652 \[ \frac {\sqrt {\frac {23}{11}} \left (-4 x-i \sqrt {23}+1\right ) \sqrt {4 x+i \sqrt {23}-1} \sqrt {6-\left (1-i \sqrt {23}\right ) x} \sqrt {\frac {\left (-\sqrt {23}+11 i\right ) \left (5 x^2+3 x+2\right )}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )^2}} \left (1-\frac {\sqrt {-\frac {-\sqrt {23}+3 i}{\sqrt {23}+7 i}} \left (6-\left (1-i \sqrt {23}\right ) x\right )}{-4 x-i \sqrt {23}+1}\right ) \sqrt {\frac {-\frac {11 \left (-\sqrt {23}+3 i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )^2}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )^2}-\frac {41 \left (\sqrt {23}+i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )}+11}{\left (1-\frac {\sqrt {-\frac {-\sqrt {23}+3 i}{\sqrt {23}+7 i}} \left (6-\left (1-i \sqrt {23}\right ) x\right )}{-4 x-i \sqrt {23}+1}\right )^2}} F\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{-\frac {3 i-\sqrt {23}}{7 i+\sqrt {23}}} \sqrt {6-\left (1-i \sqrt {23}\right ) x}}{\sqrt {4 x+i \sqrt {23}-1}}\right )|\frac {1}{88} \left (44-\frac {41 \left (i+\sqrt {23}\right )}{\sqrt {11+i \sqrt {23}}}\right )\right )}{\left (23+i \sqrt {23}\right ) \sqrt [4]{-\frac {-\sqrt {23}+3 i}{\sqrt {23}+7 i}} \sqrt {2 x^2-x+3} \sqrt {5 x^2+3 x+2} \sqrt {-\frac {11 \left (-\sqrt {23}+3 i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )^2}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )^2}-\frac {41 \left (\sqrt {23}+i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )}+11}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.68, antiderivative size = 652, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.103, Rules used = {992, 935, 1103} \[ \frac {\sqrt {\frac {23}{11}} \left (-4 x-i \sqrt {23}+1\right ) \sqrt {4 x+i \sqrt {23}-1} \sqrt {6-\left (1-i \sqrt {23}\right ) x} \sqrt {\frac {\left (-\sqrt {23}+11 i\right ) \left (5 x^2+3 x+2\right )}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )^2}} \left (1-\frac {\sqrt {-\frac {-\sqrt {23}+3 i}{\sqrt {23}+7 i}} \left (6-\left (1-i \sqrt {23}\right ) x\right )}{-4 x-i \sqrt {23}+1}\right ) \sqrt {\frac {-\frac {11 \left (-\sqrt {23}+3 i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )^2}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )^2}-\frac {41 \left (\sqrt {23}+i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )}+11}{\left (1-\frac {\sqrt {-\frac {-\sqrt {23}+3 i}{\sqrt {23}+7 i}} \left (6-\left (1-i \sqrt {23}\right ) x\right )}{-4 x-i \sqrt {23}+1}\right )^2}} F\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{-\frac {3 i-\sqrt {23}}{7 i+\sqrt {23}}} \sqrt {6-\left (1-i \sqrt {23}\right ) x}}{\sqrt {4 x+i \sqrt {23}-1}}\right )|\frac {1}{88} \left (44-\frac {41 \left (i+\sqrt {23}\right )}{\sqrt {11+i \sqrt {23}}}\right )\right )}{\left (23+i \sqrt {23}\right ) \sqrt [4]{-\frac {-\sqrt {23}+3 i}{\sqrt {23}+7 i}} \sqrt {2 x^2-x+3} \sqrt {5 x^2+3 x+2} \sqrt {-\frac {11 \left (-\sqrt {23}+3 i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )^2}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )^2}-\frac {41 \left (\sqrt {23}+i\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )}{\left (\sqrt {23}+7 i\right ) \left (-4 x-i \sqrt {23}+1\right )}+11}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 935
Rule 992
Rule 1103
Rubi steps
\begin {align*} \int \frac {1}{\sqrt {3-x+2 x^2} \sqrt {2+3 x+5 x^2}} \, dx &=\frac {\left (\sqrt {-1+i \sqrt {23}+4 x} \sqrt {6+\left (-1+i \sqrt {23}\right ) x}\right ) \int \frac {1}{\sqrt {-1+i \sqrt {23}+4 x} \sqrt {6+\left (-1+i \sqrt {23}\right ) x} \sqrt {2+3 x+5 x^2}} \, dx}{\sqrt {3-x+2 x^2}}\\ &=-\frac {\left (2 \left (-1+i \sqrt {23}+4 x\right )^{3/2} \sqrt {6+\left (-1+i \sqrt {23}\right ) x} \sqrt {\frac {\left (24-\left (-1+i \sqrt {23}\right )^2\right )^2 \left (2+3 x+5 x^2\right )}{\left (180-18 \left (-1+i \sqrt {23}\right )+2 \left (-1+i \sqrt {23}\right )^2\right ) \left (-1+i \sqrt {23}+4 x\right )^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-\frac {\left (-72+76 \left (-1+i \sqrt {23}\right )-3 \left (-1+i \sqrt {23}\right )^2\right ) x^2}{180-18 \left (-1+i \sqrt {23}\right )+2 \left (-1+i \sqrt {23}\right )^2}+\frac {\left (32-12 \left (-1+i \sqrt {23}\right )+5 \left (-1+i \sqrt {23}\right )^2\right ) x^4}{180-18 \left (-1+i \sqrt {23}\right )+2 \left (-1+i \sqrt {23}\right )^2}}} \, dx,x,\frac {\sqrt {6+\left (-1+i \sqrt {23}\right ) x}}{\sqrt {-1+i \sqrt {23}+4 x}}\right )}{\left (24-\left (-1+i \sqrt {23}\right )^2\right ) \sqrt {3-x+2 x^2} \sqrt {2+3 x+5 x^2}}\\ &=-\frac {\sqrt {\frac {23}{11}} \left (-1+i \sqrt {23}+4 x\right )^{3/2} \sqrt {6-\left (1-i \sqrt {23}\right ) x} \sqrt {\frac {\left (11 i-\sqrt {23}\right ) \left (2+3 x+5 x^2\right )}{\left (7 i+\sqrt {23}\right ) \left (1-i \sqrt {23}-4 x\right )^2}} \left (1-\frac {\sqrt {-\frac {3 i-\sqrt {23}}{7 i+\sqrt {23}}} \left (6-\left (1-i \sqrt {23}\right ) x\right )}{1-i \sqrt {23}-4 x}\right ) \sqrt {\frac {11-\frac {41 \left (i+\sqrt {23}\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )}{\left (7 i+\sqrt {23}\right ) \left (1-i \sqrt {23}-4 x\right )}-\frac {11 \left (3 i-\sqrt {23}\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )^2}{\left (7 i+\sqrt {23}\right ) \left (1-i \sqrt {23}-4 x\right )^2}}{\left (1-\frac {\sqrt {-\frac {3 i-\sqrt {23}}{7 i+\sqrt {23}}} \left (6-\left (1-i \sqrt {23}\right ) x\right )}{1-i \sqrt {23}-4 x}\right )^2}} F\left (2 \tan ^{-1}\left (\frac {\sqrt [4]{-\frac {3 i-\sqrt {23}}{7 i+\sqrt {23}}} \sqrt {6-\left (1-i \sqrt {23}\right ) x}}{\sqrt {-1+i \sqrt {23}+4 x}}\right )|\frac {1}{88} \left (44-\frac {41 \left (i+\sqrt {23}\right )}{\sqrt {11+i \sqrt {23}}}\right )\right )}{\left (23+i \sqrt {23}\right ) \sqrt [4]{-\frac {3 i-\sqrt {23}}{7 i+\sqrt {23}}} \sqrt {3-x+2 x^2} \sqrt {2+3 x+5 x^2} \sqrt {11-\frac {41 \left (i+\sqrt {23}\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )}{\left (7 i+\sqrt {23}\right ) \left (1-i \sqrt {23}-4 x\right )}-\frac {11 \left (3 i-\sqrt {23}\right ) \left (6-\left (1-i \sqrt {23}\right ) x\right )^2}{\left (7 i+\sqrt {23}\right ) \left (1-i \sqrt {23}-4 x\right )^2}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.61, size = 390, normalized size = 0.60 \[ \frac {\left (-4 x+i \sqrt {23}+1\right ) \left (10 i x+\sqrt {31}+3 i\right ) \sqrt {\frac {20 i x-2 \sqrt {31}+6 i}{\left (11 i+5 \sqrt {23}-2 \sqrt {31}\right ) \left (4 i x+\sqrt {23}-i\right )}} \sqrt {\frac {\left (-22-10 i \sqrt {23}+4 i \sqrt {31}\right ) x-\sqrt {713}-i \sqrt {31}-3 i \sqrt {23}+63}{\left (11 i+5 \sqrt {23}+2 \sqrt {31}\right ) \left (4 i x+\sqrt {23}-i\right )}} F\left (\sin ^{-1}\left (\sqrt {2} \sqrt {-\frac {2 \left (11+5 i \sqrt {23}-2 i \sqrt {31}\right ) x+\sqrt {713}+i \sqrt {31}+3 i \sqrt {23}-63}{\left (11 i+5 \sqrt {23}+2 \sqrt {31}\right ) \left (4 i x+\sqrt {23}-i\right )}}\right )|\frac {1}{484} \left (1197+41 \sqrt {713}\right )\right )}{\left (-11 i+5 \sqrt {23}-2 \sqrt {31}\right ) \sqrt {\frac {10 i x+\sqrt {31}+3 i}{\left (11 i+5 \sqrt {23}+2 \sqrt {31}\right ) \left (4 i x+\sqrt {23}-i\right )}} \sqrt {2 x^2-x+3} \sqrt {5 x^2+3 x+2}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.93, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\sqrt {5 \, x^{2} + 3 \, x + 2} \sqrt {2 \, x^{2} - x + 3}}{10 \, x^{4} + x^{3} + 16 \, x^{2} + 7 \, x + 6}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{\sqrt {5 \, x^{2} + 3 \, x + 2} \sqrt {2 \, x^{2} - x + 3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.47, size = 418, normalized size = 0.64 \[ -\frac {4 i \sqrt {5 x^{2}+3 x +2}\, \sqrt {2 x^{2}-x +3}\, \left (5 i \sqrt {23}+2 i \sqrt {31}-11\right ) \sqrt {\frac {\left (5 i \sqrt {23}-2 i \sqrt {31}+11\right ) \left (4 x -1+i \sqrt {23}\right )}{\left (5 i \sqrt {23}+2 i \sqrt {31}-11\right ) \left (-4 x +i \sqrt {23}+1\right )}}\, \left (-4 x +i \sqrt {23}+1\right )^{2} \sqrt {-\frac {i \sqrt {23}\, \left (10 x +i \sqrt {31}+3\right )}{\left (5 i \sqrt {23}-2 i \sqrt {31}-11\right ) \left (-4 x +i \sqrt {23}+1\right )}}\, \sqrt {\frac {i \sqrt {23}\, \left (-10 x +i \sqrt {31}-3\right )}{\left (5 i \sqrt {23}+2 i \sqrt {31}-11\right ) \left (-4 x +i \sqrt {23}+1\right )}}\, \sqrt {23}\, \sqrt {10}\, \EllipticF \left (\sqrt {\frac {\left (5 i \sqrt {23}-2 i \sqrt {31}+11\right ) \left (4 x -1+i \sqrt {23}\right )}{\left (5 i \sqrt {23}+2 i \sqrt {31}-11\right ) \left (-4 x +i \sqrt {23}+1\right )}}, \sqrt {\frac {\left (5 i \sqrt {23}+2 i \sqrt {31}+11\right ) \left (5 i \sqrt {23}+2 i \sqrt {31}-11\right )}{\left (5 i \sqrt {23}-2 i \sqrt {31}-11\right ) \left (5 i \sqrt {23}-2 i \sqrt {31}+11\right )}}\right )}{23 \sqrt {10 x^{4}+x^{3}+16 x^{2}+7 x +6}\, \left (5 i \sqrt {23}-2 i \sqrt {31}+11\right ) \sqrt {\left (4 x -1+i \sqrt {23}\right ) \left (-4 x +i \sqrt {23}+1\right ) \left (10 x +i \sqrt {31}+3\right ) \left (-10 x +i \sqrt {31}-3\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{\sqrt {5 \, x^{2} + 3 \, x + 2} \sqrt {2 \, x^{2} - x + 3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {1}{\sqrt {2\,x^2-x+3}\,\sqrt {5\,x^2+3\,x+2}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{\sqrt {2 x^{2} - x + 3} \sqrt {5 x^{2} + 3 x + 2}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________